Specifying Multimedia Binding Objects in Z
نویسندگان
چکیده
The current standardisation activity of Open Distributed Processing (ODP) has attempted to incorporate multimedia flows of information into its architecture through the idea of stream interfaces. At present the reference model of ODP (ODP-RM) abstracts from the precise nature of the flows of information. As a consequence of this, the ODPRM only deals with syntactic aspects of stream interfaces and does not require them to satisfy any behavioural considerations. It is shown in this paper how the formal notation Z can be used to reason about these flows of information in a manner that enables behavioural as well as temporal aspects to be considered. The example given to highlight the approach is the ODP concept of a binding object.
منابع مشابه
Specifying Multimedia Binding Objects in ZRichard
The current standardisation activity of Open Distributed Processing (ODP) has attempted to incorporate multimedia ows of information into its architecture through the idea of stream interfaces. At present the reference model of ODP (ODP-RM) abstracts from the precise nature of the ows of information. As a consequence of this, the ODP-RM only deals with syntactic aspects of stream interfaces and...
متن کاملModeling of Video Spatial Relationships in an Object Database Management System
A key aspect in videomodeling is spatial relationships. In this paper we propose a spatial representation for specifying the spatial semantics of video data. Based on such a representation, a set of spatial relationships for salient objects is defined to support qualitative and quantitative spatial properties. The model captures both topological and directional spatial relationships. We present...
متن کاملThe Design of Multimedia Languages Based on Teleaction Objects
We describe a methodology for the design of multidimensional languages to be used for multimedia applications. The methodology supports the generation of multimedia languages and applications starting from the generic description of a problem. The design framework extends traditional methodologies for visual language design and relies on Teleaction Objects (TAO) as the basic model for specifyin...
متن کاملSpecifying the PREMO Synchronization Objects
This paper describes the formal specification of object types for managing inter-media synchronisation and control within PREMO, an emerging ISO/IEC standard for multimedia systems. Object-Z, an object-oriented extension to the Z specification language, is used for this purpose. Some aspects of PREMO are non-trivial to express in Object-Z, and the paper outlines the reasons for choosing this sp...
متن کاملTools for Specifying and Executing Synchronized Multimedia Presentations
Multimedia applications require the handling of synchronization between media streams. We present tools for creating, editing and presenting synchronized multimedia objects. Specifying synchronization is supported by the graphical Synchronization Editor and execution of multimedia presentations is performed by the Synchronizer. Major topics cover requirements resulting from underlying distribut...
متن کامل